-
1 intuitionistic inference
English-Russian dictionary of computer science > intuitionistic inference
-
2 intuitionistic proof
Англо-русский словарь по исследованиям и ноу-хау > intuitionistic proof
-
3 inference
[ˈɪnfərəns]abductive inference абдуктивный вывод chain inference цепное заключение direct inference прямой вывод fuzzy inference нечеткий вывод immediate inference прямое вмешательство inductive inference индуктивный вывод inference вывод inference заключение inference умозаключение inference making вчт. получение выводов intuitionistic inference интуиционистский вывод knowledge-based inference вывод на знаниях linear inference линейный вывод logical inference логический вывод non-monotonic inference немонотонный вывод probabilitic inference вероятностный вывод statistical inference статистический вывод -
4 intuitionistic inference
Компьютерная техника: интуиционистский выводУниверсальный англо-русский словарь > intuitionistic inference
-
5 intuitionistic proof
Математика: интуиционистский вывод
См. также в других словарях:
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия